Penang civil servants to get half-month bonus